翻訳と辞書
Words near each other
・ "O" Is for Outlaw
・ "O"-Jung.Ban.Hap.
・ "Ode-to-Napoleon" hexachord
・ "Oh Yeah!" Live
・ "Our Contemporary" regional art exhibition (Leningrad, 1975)
・ "P" Is for Peril
・ "Pimpernel" Smith
・ "Polish death camp" controversy
・ "Pro knigi" ("About books")
・ "Prosopa" Greek Television Awards
・ "Pussy Cats" Starring the Walkmen
・ "Q" Is for Quarry
・ "R" Is for Ricochet
・ "R" The King (2016 film)
・ "Rags" Ragland
・ ! (album)
・ ! (disambiguation)
・ !!
・ !!!
・ !!! (album)
・ !!Destroy-Oh-Boy!!
・ !Action Pact!
・ !Arriba! La Pachanga
・ !Hero
・ !Hero (album)
・ !Kung language
・ !Oka Tokat
・ !PAUS3
・ !T.O.O.H.!
・ !Women Art Revolution


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

amenable group : ウィキペディア英語版
amenable group
In mathematics, an amenable group is a locally compact topological group ''G'' carrying a kind of averaging operation on bounded functions that is invariant under translation by group elements. The original definition, in terms of a finitely additive invariant measure (or mean) on subsets of ''G'', was introduced by John von Neumann in 1929 under the German name "messbar" ("measurable" in English) in response to the Banach–Tarski paradox. In 1949 Mahlon M. Day introduced the English translation "amenable", apparently as a pun.〔Day's first published use of the word is in his abstract for an AMS summer meeting in 1949, (''Means on semigroups and groups'', Bull. A.M.S. 55 (1949) 1054–1055 ). Many text books on amenabilty, such as Volker Runde's, suggest that Day chose the word as a pun.〕
The amenability property has a large number of equivalent formulations. In the field of analysis, the definition is in terms of linear functionals. An intuitive way to understand this version is that the support of the regular representation is the whole space of irreducible representations.
In discrete group theory, where ''G'' has the discrete topology, a simpler definition is used. In this setting, a group is amenable if one can say what proportion of ''G'' any given subset takes up.
If a group has a Følner sequence then it is automatically amenable.
==Definition for locally compact groups==
Let ''G'' be a locally compact Hausdorff group. Then it is well known that it possesses a unique, up-to-scale left- (or right-) rotation invariant ring measure, the Haar measure. (This is Borel regular measure when ''G'' is second-countable; there are both left and right measures when ''G'' is compact.) Consider the Banach space ''L''(''G'') of essentially bounded measurable functions within this measure space (which is clearly independent of the scale of the Haar measure).
Definition 1. A linear functional Λ in Hom(''L''(''G''), R) is said to be a mean if Λ has norm 1 and is non-negative, i.e. ''f'' ≥ 0 a.e. implies Λ(''f'') ≥ 0.
Definition 2. A mean Λ in Hom(''L''(''G''), R) is said to be left-invariant (resp. right-invariant) if Λ(''g''·''f'') = Λ(''f'') for all ''g'' in ''G'', and ''f'' in ''L''(''G'') with respect to the left (resp. right) shift action of ''g''·''f''(x) = ''f''(''g''−1''x'')(resp. ''f''·''g''(x) = ''f''(''xg''−1) ).
Definition 3. A locally compact Hausdorff group is called amenable if it admits a left- (or right-)invariant mean.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「amenable group」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.